
ARCH					?= arm
UB_CONFIG				?= qemu_arm_optee_defconfig
ARM_TEE					= 1
# QEMU_SERIAL				?= pty

